Wos, R.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

An overview of automated reasoning and related fields

L. Wos, Fernando Pereira, Robert Hong, Robert S. Boyer, J Strother Moore, W. W. Bledsoe, L. J. Henschen, Bruce G. Buchanan, Graham Wrightson, Cordell Green

Journal:

Journal of Automated Reasoning

Year:

1985

Language:

english

File:

PDF, 2.69 MB

english, 1985

2

The problem of reasoning by case analysis

Journal:

Journal of Automated Reasoning

Year:

1993

Language:

english

File:

PDF, 174 KB

english, 1993

3

The problem of reasoning by analogy

Journal:

Journal of Automated Reasoning

Year:

1993

Language:

english

File:

PDF, 149 KB

english, 1993

4

[IEEE 2019 International Interdisciplinary PhD Workshop (IIPhDW) - Wismar, Germany (2019.5.15-2019.5.17)] 2019 International Interdisciplinary PhD Workshop (IIPhDW) - Distributed system for long-term monitoring of cardiopulmonary activity

Nita, Pawel, Rymarczyk, Tomasz, Vejarc, Andres, Stefaniak, Barbara, Wos, Michal, Stanikowski, Andrzej

Year:

2019

Language:

english

File:

PDF, 2.40 MB

english, 2019

5

Automated theorem proving and logic programming: a natural symbiosis

Larry Wos, William McCune

Journal:

The Journal of Logic Programming

Year:

1991

Language:

english

File:

PDF, 4.19 MB

english, 1991

6

Job-shop scheduling using automated reasoning: A case study of the car-sequencing problem

Bruce D. Parrello, Waldo C. Kabat, L. Wos

Journal:

Journal of Automated Reasoning

Year:

1986

Language:

english

File:

PDF, 1.97 MB

english, 1986

7

The problem of reasoning from inequalities

Journal:

Journal of Automated Reasoning

Year:

1992

Language:

english

File:

PDF, 318 KB

english, 1992

8

Intérêt des manœuvres de décontraction lors du maniement d’enfants IMC

Joris, M., Libert-Gritten, D., Wos, R.

Journal:

Motricité Cérébrale : Réadaptation, Neurologie du Développement

Year:

2009

Language:

french

File:

PDF, 396 KB

french, 2009

9

SULLA FORTUNA DI DANTE IN POLONIA

Journal:

Year:

1968

File:

PDF, 1.02 MB

1968

10

Apollinaire, (Écrivains de toujours)by Pascal Pia

Review by: Jan W. Woś

Journal:

Year:

1998

Language:

italian

File:

PDF, 360 KB

italian, 1998

11

[ACM Press the 9th International Workshop - Uppsala, Sweden (2014.07.28-2014.07.28)] Proceedings of the 9th International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems PLE - ICOOOLPS '14 - An efficient approach for accessing C data structures from JavaScript

Grimmer, Matthias, Würthinger, Thomas, Wöß, Andreas, Mössenböck, Hanspeter

Year:

2014

Language:

english

File:

PDF, 243 KB

english, 2014

12

Automated Reasoning

Journal:

American Mathematical Monthly

Year:

1985

Language:

english

File:

PDF, 1.07 MB

english, 1985

13

Effects of surface texturing and kind of lubricant on the coefficient of friction at ambient and elevated temperatures

Wos, Slawomir, Koszela, Waldemar, Pawlus, Pawel, Drabik, Jolanta, Rogos, Elzbieta

Journal:

Tribology International

Year:

2017

Language:

english

File:

PDF, 3.44 MB

english, 2017

14

[Lecture Notes in Computer Science] Data Warehousing and Knowledge Discovery Volume 3181 || Partitioned Approach to Association Rule Mining over Multiple Databases

Kambayashi, Yahiko, Mohania, Mukesh, Wöß, Wolfram

Year:

2004

Language:

english

File:

PDF, 398 KB

english, 2004

15

[IEEE 2019 20th International Carpathian Control Conference (ICCC) - Krakow-Wieliczka, Poland (2019.5.26-2019.5.29)] 2019 20th International Carpathian Control Conference (ICCC) - Force and position control of the integrated electro-hydraulic servo-drive

Dindorf, Ryszard, Wos, Piotr

Year:

2019

Language:

english

File:

PDF, 2.14 MB

english, 2019

16

[IEEE 2019 20th International Carpathian Control Conference (ICCC) - Krakow-Wieliczka, Poland (2019.5.26-2019.5.29)] 2019 20th International Carpathian Control Conference (ICCC) - Nonlinear modeling and parameter identification for electro-hydraulic servo system

Wos, Piotr, Dindorf, Ryszard

Year:

2019

Language:

english

File:

PDF, 842 KB

english, 2019

17

Comparing tribological effects of various chevron-based surface textures under lubricated unidirectional sliding

Wos, Slawomir, Koszela, Waldemar, Pawlus, Pawel

Journal:

Tribology International

Year:

2020

Language:

english

File:

PDF, 3.99 MB

english, 2020

18

A new use of an automated reasoning assistant: Open questions in equivalential calculus and the study of infinite domains

L. Wos, S. Winker, B. Smith, R. Veroff, L. Henschen

Journal:

Artificial Intelligence

Year:

1984

Language:

english

File:

PDF, 2.74 MB

english, 1984

19

The reliability of self-ratings based on Borg's scale for hand-arm vibrations of short duration (Part II)

H. Wos, T. Marek, Cz. Noworol, G. Borg

Journal:

International Journal of Industrial Ergonomics

Year:

1988

Language:

english

File:

PDF, 364 KB

english, 1988

20

Synthesis and evaluation of tricyclic pyrrolopyrimidinones as dipeptide mimetics: Inhibition of interleukin-1β-converting enzyme

Michael C. Laufersweiler, Yili Wang, David L. Soper, Maureen K. Suchanek, Amy N. Fancher, Wei Lu, Richard L. Wang, Kofi A. Oppong, Christopher D. Ellis, Mark W. Baize, Steven V. O’Neil, John A. Wos, T

Journal:

Bioorganic & Medicinal Chemistry Letters

Year:

2005

Language:

english

File:

PDF, 231 KB

english, 2005

21

Simple macroscopic model of pyroelectric phenomenon in TGS single crystals in ferroelectric phase

M. Trybus, W. Proszak, B. Woś

Journal:

Infrared Physics & Technology

Year:

2009

Language:

english

File:

PDF, 286 KB

english, 2009

22

Investigation of pyroelectric phenomenon in TGS single crystals – A new method using a digital pyroelectric charge meter

M. Trybus, W. Proszak, B. Woś

Journal:

Infrared Physics & Technology

Year:

2011

Language:

english

File:

PDF, 579 KB

english, 2011

23

The effect of cylinder liner surface topography on abrasive wear of piston–cylinder assembly in combustion engine

J. Michalski, P. Woś

Journal:

Year:

2011

Language:

english

File:

PDF, 1.38 MB

english, 2011

24

The problem of choosing between logic programming and general-purpose automated reasoning

Journal:

Journal of Automated Reasoning

Year:

1990

Language:

english

File:

PDF, 123 KB

english, 1990

25

Some obstacles to the automation of reasoning, and the problem of redundant information

Journal:

Journal of Automated Reasoning

Year:

1987

Language:

english

File:

PDF, 606 KB

english, 1987

26

Set theory in first-order logic: Clauses for Gödel's axioms

Robert Boyer, Ewing Lusk, William McCune, Ross Overbeek, Mark Stickel, Lawrence Wos

Journal:

Journal of Automated Reasoning

Year:

1986

Language:

english

File:

PDF, 1.94 MB

english, 1986

27

Open maths problems computer competition

Journal:

Semigroup Forum

Year:

1983

Language:

english

File:

PDF, 91 KB

english, 1983

28

Double-Negation Elimination in Some Propositional Logics

Michael Beeson, Robert Veroff, Larry Wos

Journal:

Year:

2005

Language:

english

File:

PDF, 259 KB

english, 2005

29

Effects of fluoroquinolones on HERG channels and on pancreatic β-cell ATP-sensitive K+ channels

Bernd J. Zünkler, Sonja Claaßen, Maria Wos-Maganga, Ingo Rustenbeck, Ulrike Holzgrabe

Journal:

Year:

2006

Language:

english

File:

PDF, 373 KB

english, 2006

30

Does Simultaneous Antegrade and Retrograde Cardioplegia Improve Functional Recovery and Myocardial Homeostasis?

M. J. Jasinski, S. Wos, Z. Kadziola, I. A. Wenzel-Jasinska, T. J. Spyt

Journal:

Journal of Cardiac Surgery

Year:

2000

Language:

english

File:

PDF, 603 KB

english, 2000

31

Efficiency and Completeness of the Set of Support Strategy in Theorem Proving

Wos, Lawrence, Robinson, George A., Carson, Daniel F.

Journal:

Journal of the ACM

Year:

1965

Language:

english

File:

PDF, 369 KB

english, 1965

32

Open maths problems computer competition

Journal:

Information Processing Letters

Year:

1983

Language:

english

File:

PDF, 125 KB

english, 1983

33

MCH-R1 antagonists: what is keeping most research programs away from the clinic?

José L. Méndez-Andino, John A. Wos

Journal:

Drug Discovery Today

Year:

2007

Language:

english

File:

PDF, 775 KB

english, 2007

34

The prevalence of weight concerns in a smoking abstinence clinical trial

Matthew M. Clark, Richard D. Hurt, Ivana T. Croghan, Christi A. Patten, Paul Novotny, Jeff A. Sloan, Shaker R. Dakhil, Gary A. Croghan, Edward J. Wos, Kendrith M. Rowland, Albert Bernath, Roscoe F. Mo

Journal:

Addictive Behaviors

Year:

2006

Language:

english

File:

PDF, 159 KB

english, 2006

35

Effects of lomefloxacin and norfloxacin on pancreatic β-cell ATP-sensitive K+ channels

Bernd J. Zünkler, Maria Wos

Journal:

Year:

2003

Language:

english

File:

PDF, 150 KB

english, 2003

36

Approximate Convergence in Ergodic Theory

Journal:

Proceedings of the London Mathematical Society

Year:

1986

Language:

english

File:

PDF, 383 KB

english, 1986

37

Response of TGS ferroelectric samples to rapid temperature impulses

Trybus, M., Proszak, W., Woś, B.

Journal:

Infrared Physics & Technology

Year:

2013

Language:

english

File:

PDF, 2.40 MB

english, 2013

38

Niedrożność przewodu pokarmowego w przebiegu zespołu Peutza-Jeghersa u 12-letniej dziewczynki- opis przypadku

Więcek, Sabina, Grzybowska-Chlebowczyk, Urszula, Wojtynek, Grażyna, Holon, Magdalena, Kuleta-Bosak, Elżbieta, Bohosiewicz, Janusz, Woś, Halina

Journal:

Pediatria Polska

Year:

2010

Language:

polish

File:

PDF, 725 KB

polish, 2010

39

Borelioza, choroba przenoszona przez kleszcze

Journal:

Pediatria Polska

Year:

2010

File:

PDF, 123 KB

2010

40

Szkice historyczne XI wiekuby T. Wojciechowski; A. Gieysztor

Review by: J. W. Woś

Journal:

Year:

1978

Language:

italian

File:

PDF, 222 KB

italian, 1978

41

Stanislas Leszczynski. Aventurier, philosophe et mécène des Lumièresby Anne Muratori-Philip

Review by: Jan W. Woś

Journal:

Year:

2008

Language:

italian

File:

PDF, 510 KB

italian, 2008

42

Mniejszości narodowe w Polsce 1918-1995 [Minoranze nazionali in Polonia 1918-1995]by Henryk Chałupczak; Tomasz Browarek

Review by: Jan W. Woś

Journal:

Year:

2001

Language:

italian

File:

PDF, 356 KB

italian, 2001

43

Titanium-mediated cyclizations of .beta.-keto esters with acetals: a convenient route to 2-carbalkoxycycloalkenones

Funk, Raymond L., Fitzgerald, John F., Olmstead, Thomas A., Para, Kim S., Wos, John A.

Journal:

Journal of the American Chemical Society

Year:

1993

Language:

english

File:

PDF, 252 KB

english, 1993

44

Tribological behaviours of textured surfaces under conformal and non-conformal starved lubricated contact conditions

Wos, S., Koszela, W., Pawlus, P.

Journal:

Proceedings of the Institution of Mechanical Engineers Part J: Journal of Engineering Tribology

Year:

2015

Language:

english

File:

PDF, 1.40 MB

english, 2015

45

Preliminary assessment of growth and survival of green alder (Alnus viridis), a potential biological stabilizer on fly ash disposal sites

Pietrzykowski, Marcin, Krzaklewski, Wojciech, Woś, Bartłomiej

Journal:

Journal of Forestry Research

Year:

2015

Language:

english

File:

PDF, 263 KB

english, 2015

46

Determination of oil demand for textured surfaces under conformal contact conditions

Wos, Slawomir, Koszela, Waldemar, Pawlus, Pawel

Journal:

Tribology International

Year:

2015

Language:

english

File:

PDF, 1.10 MB

english, 2015

47

Unit Refutations and Horn Sets

Henschen, L., Wos, L.

Journal:

Journal of the ACM

Year:

1974

Language:

english

File:

PDF, 1.18 MB

english, 1974

48

[ACM Press the 2013 ACM international symposium - Indianapolis, Indiana, USA (2013.10.29-2013.10.31)] Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software - Onward! '13 - One VM to rule them all

Würthinger, Thomas, Wimmer, Christian, Wöß, Andreas, Stadler, Lukas, Duboscq, Gilles, Humer, Christian, Richards, Gregor, Simon, Doug, Wolczko, Mario

Year:

2013

Language:

english

File:

PDF, 528 KB

english, 2013

49

Dynamic response of TGS ferroelectric samples in paraelectric phase

Trybus, M., Woś, B.

Journal:

Infrared Physics & Technology

Year:

2015

Language:

english

File:

PDF, 1.04 MB

english, 2015

50

Tree species and soil substrate effects on soil biota during early soil forming stages at afforested mine sites

Józefowska, Agnieszka, Woś, Bartłomiej, Pietrzykowski, Marcin

Journal:

Applied Soil Ecology

Year:

2016

Language:

english

File:

PDF, 1.09 MB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски